TSF: An Environment for Program Transformations
نویسنده
چکیده
RRSUMM. Nous prsentons dans ce papier un nouvel outil de transformations de programmes , appell Tsf (Tool Set for Fortran) construit sur la base de l'outil de ringg-niirie de codes Foresys. L'originalitt de notre approche rside dans un langage de scripts de transformations de programme et dans l'aide apportte l'utilisateur dans le choix de ses transformations grce un systtme de raisonnement partir de cas. Nous ddveloppons dans ce papier les principales composantes du systtme et ddtaillons les derniires ralisations en cours. ABSTRACT. We present in this paper a new tool of program transformations, called Tsf (Tool Set for Fortran) built on the top of a Fortran engineering tool, named Foresys. The originality of our approach lies in a program transformation script language and in the assistance brought to the user in the choice of his transformations thanks to a case-based reasoning system. We develop in this paper, the main components of the system and detail the last achievements in progress. MOTS-CLLS : transformations de programme, raisonnement partir de cas, architec-tures hautes performances, parallllisation, Fortran.
منابع مشابه
Accuracy of complex lower-limb deformity correction with external fixation: a comparison of the Taylor Spatial Frame with the Ilizarov ring fixator
PURPOSE Circular external fixators have several advantages over other surgical options in the treatment of limb length discrepancy and axial deformity. The innovative Taylor Spatial Frame (TSF) combines a rigid hexapod fixation system with the support of a web-based software program, and thus offers the possibility of simultaneous corrections of multidirectional deformities. Whilst there is sti...
متن کاملContinuously Live Image Processor for Drift Chamber Track Segment Triggering
The first portion of the BABAR experiment Level 1 Drift Chamber Trigger pipeline is the Track Segment Finder (TSF). Using a novel method incorporating both occupancy and drift-time information, the TSF system continually searches for segments in the supercells of the full 7104-wire Drift Chamber hit image at 3.7 MHz. The TSF was constructed to operate in a potentially high beam-background envir...
متن کاملProgram Synthesis and Transformations in an Object-oriented Environment Program Synthesis and Transformations in an Object-oriented Environment
An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on in-tuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing t...
متن کاملAn Overview of the PIVOT Environment for Program Restructuring†
The objective of PIVOT, a program ParallelizatIon and VisualizatiOn environmenT, described in this paper is to provide a programming environment that facilitates restructuring of programs for parallelization. The environment supports a range of facilities, including visual and textual forms of specifications for code transformations, automatic generation of transformers from specifications, int...
متن کاملCACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs
This paper describes the design and implementation of an interactive, incremental-attribution-based program transformation system, CACHET, that derives incre-mental programs from non-incremental programs written in a functional language. CACHET is designed as a programming environment and implemented using a language-based editor generator, the Synthesizer Generator , with extensions that suppo...
متن کامل